Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
نویسندگان
چکیده
منابع مشابه
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated process able to handle multiple viewpoints such as functional correctness, timing, etc. For this pur...
متن کاملEmbedded Software using Components and Contracts (Position Paper)
In the left figure two components are shown which are used to compute and display car speed: speed display and speedometer. Because the speedometer has to send speed updates to the speed display, it needs a port which is connected via a connector to a port on the speed display component. Ports have a multiplicity: this indicates how many ports of this type exist. Every port also has a role. The...
متن کاملEmbedded Software Development: Components and Contracts
This paper presents a new approach to building software for embedded systems, based on the use of components in combination with contracts. The contracts specify the non-functional (resource) requirements of the different components in the system. This is especially important in embedded systems, since these systems are resourceconstrained. Our approach includes tool support for building embedd...
متن کاملImmediate Multi-Threaded Dynamic Software Updates Using Stack Reconstruction
We propose a new approach for dynamic software updates. This approach allows updating applications that until now could not be updated at runtime at all or could be updated but with a possibly indefinite delay between the time an update is initiated and the time the update is effected (during this period no service is provided). Unlike existing approaches, we allow arbitrary changes to function...
متن کاملSecuring Software Updates for Automotives Using Uptane
Does secrecy improve security or impede securing software updates? The automotive industry has traditionally relied upon proprietary strategies developed behind closed doors. However, experience in the software security community suggests that open development processes can find flaws before they can be exploited. We introduce Uptane, a secure system for updating software on automobiles that fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.208.3